Results for 'Silvin P. Knight'

940 found
Order:
  1.  25
    Functional Analysis of Continuous, High-Resolution Measures in Aging Research: A Demonstration Using Cerebral Oxygenation Data From the Irish Longitudinal Study on Aging.John D. O’Connor, Matthew D. L. O’Connell, Roman Romero-Ortuno, Belinda Hernández, Louise Newman, Richard B. Reilly, Rose Anne Kenny & Silvin P. Knight - 2020 - Frontiers in Human Neuroscience 14.
  2.  62
    Real closed fields and models of Peano arithmetic.P. D'Aquino, J. F. Knight & S. Starchenko - 2010 - Journal of Symbolic Logic 75 (1):1-11.
    Shepherdson [14] showed that for a discrete ordered ring I, I is a model of IOpen iff I is an integer part of a real closed ordered field. In this paper, we consider integer parts satisfying PA. We show that if a real closed ordered field R has an integer part I that is a nonstandard model of PA (or even IΣ₄), then R must be recursively saturated. In particular, the real closure of I, RC (I), is recursively saturated. We (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  3.  21
    Permitting, forcing, and copying of a given recursive relation.C. J. Ash, P. Cholak & J. F. Knight - 1997 - Annals of Pure and Applied Logic 86 (3):219-236.
  4.  23
    The Application of Wearable Technology to Quantify Health and Wellbeing Co-benefits From Urban Wetlands.Jonathan P. Reeves, Andrew T. Knight, Emily A. Strong, Victor Heng, Chris Neale, Ruth Cromie & Ans Vercammen - 2019 - Frontiers in Psychology 10.
  5.  41
    Corrigendum to: “Real closed fields and models of arithmetic”.P. D'Aquino, J. F. Knight & S. Starchenko - 2012 - Journal of Symbolic Logic 77 (2):726-726.
  6. Real closed fields and models of arithmetic (vol 75, pg 1, 2010).P. D'Aquino, J. F. Knight & S. Starchenko - 2012 - Journal of Symbolic Logic 77 (2).
  7.  24
    Privacy, technology, and social change.Daniel P. Hillyard & Sarah M. Knight - 2004 - Knowledge, Technology & Policy 17 (1):81-101.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  8.  38
    Natural Law.Frank H. Knight & A. P. D'Entreves - 1952 - Philosophical Review 61 (2):235.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  9.  13
    Investigation of the mental health and cognitive correlates of psychological decentering in adolescence.R. C. Knight, D. L. Dunning, J. Cotton, G. Franckel, S. P. Ahmed, S. J. Blakemore, T. Ford, W. Kuyken, Myriad Team, T. Dalgleish & M. P. Bennett - 2025 - Cognition and Emotion 39 (2):465-475.
    The ability to notice and reflect on distressing internal experiences from an objective perspective, often called psychological decentering, has been posited to be protective against mental health difficulties. However, little is known about how this skill relates to age across adolescence, its relationship with mental health, and how it may impact key domains such as affective executive control and social cognition. This study analysed a pre-existing dataset including mental health measures and cognitive tasks, administered to adolescents in Greater London and (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  10. Cave Art, Autism, and the Evolution of the Human Mind: Comment.P. Bahn, P. Bloom, U. Frith, E. Zubrow, S. Mithen, I. Tattersall, C. Knight, C. McManus & D. Dennett - unknown
  11.  31
    Extended mediation in children's paired-associate learning.Judith Sims-Knight & Lewis P. Lipsitt - 1974 - Journal of Experimental Psychology 102 (5):915.
  12.  42
    The neural substrates of recollection and familiarity.Andrew P. Yonelinas, Neal E. A. Kroll, Ian G. Dobbins, Michele Lazzara & Robert T. Knight - 1999 - Behavioral and Brain Sciences 22 (3):468-469.
    Aggleton & Brown argue that a hippocampal-anterior thalamic system supports the “recollection” of contextual information about previous events, and that a separate perirhinal-medial dorsal thalamic system supports detection of stimulus “familiarity.” Although there is a growing body of human literature that is in agreement with these claims, when recollection and familiarity have been examined in amnesics using the process dissociation or the remember/know procedures, the results do not seem to provide consistent support. We reexamine these studies and describe the results (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  13.  50
    Additive structure in uncountable models for a fixed completion of P.Julia F. Knight - 1983 - Journal of Symbolic Logic 48 (3):623-628.
  14.  79
    The Paradox of Wuwei? Yes (and No).Nickolas Knightly - 2013 - Asian Philosophy 23 (2):115-136.
    This essay considers P. J. Ivanhoe's critical challenge to Slingerland's analysis of wuwei(‘effortless action’). While I agree with Ivanhoe that we should do more work to embody and understand the concept of wuwei, I will defend Slingerland's notion that wuwei involves paradox—particularly in the cases of Zhuangi and Laozi. The present essay is not a defense of the specifics of Slingerland's analysis. Nonetheless, this essay focuses on defending the notion of paradox. Ivanhoe offers an alternative view of wuwei, one that (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  15. Fractionation and lacalization of distinct frontal lobe processes: Evidence from focal lesions in humans.D. T. Stuss, M. P. Alexander, D. Floden, M. A. Binns, B. Levine, A. R. McIntosh & R. T. Knight - 2002 - In Donald T. Stuss & Robert T. Knight, Principles of Frontal Lobe Function. Oxford University Press.
  16.  34
    Critical notices.Rex Knight - 1930 - Mind 39 (155):511-518.
    Burgess, J.P. and Rosen, G. Subject with No ObjectElliott, R.Faking Nature.
    No categories
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  17.  71
    Planning in sentence production: Evidence for the phrase as a default planning scope.Randi C. Martin, Jason E. Crowther, Meredith Knight, Franklin P. Tamborello Ii & Chin-Lung Yang - 2010 - Cognition 116 (2):177-192.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  18. New books. [REVIEW]M. A., P. Leon, H. B. Acton, W. G. de Burgh, F. R. Tennant, H. R. Mackintosh, A. S., J. Wisdom, Rex Knight, F. C. S. Schiller, T. E. Jessop & J. S. Mackenzie - 1934 - Mind 43 (170):238-265.
    No categories
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  19.  31
    Ressayre J. P.. Models with compactness properties relative to an admissible language. Annals of mathematical logic, vol. 11 no. 1 , pp. 31–55. [REVIEW]Julia F. Knight - 1982 - Journal of Symbolic Logic 47 (2):439-440.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  20.  37
    Predator free New Zealand: Social, cultural, and ethical challenges.L. Ellis, M. Hohneck, C. Irons, J. Knight, K. Littin, J. Maclaurin, E. MacDonald, C. Speedy, T. Steeves, K. Watene, P. Wehi & E. Parke - unknown
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  21.  33
    Junior Medical Officers’ knowledge of advance care directives and substitute decision making for people without decision making capacity: a cross sectional survey.Rob Sanson-Fisher, Mathew Clapham, Mary-Ann Ryall, Anne Knight, Emma Price, Carolyn Hullick, Robert Pickles, Lindy Willmott, Ben P. White, Alison Bowman, Jamie Bryant & Amy Waller - 2022 - BMC Medical Ethics 23 (1):1-7.
    BackgroundJunior medical doctors have a key role in discussions and decisions about treatment and end-of-life care for people with dementia in hospital. Little is known about junior doctors’ decision-making processes when treating people with dementia who have advance care directives, or the factors that influence their decisions. To describe among junior doctors in relation to two hypothetical vignettes involving patients with dementia: their legal compliance and decision-making process related to treatment decisions; the factors influencing their clinical decision-making; and the factors (...)
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  22. Educationa Studies.Joanne Bronars, Jianping Shen, Don Martin Robert J. Beebe, Edward J. Power Jane Gaskell, Clinton B. Allison C. J. B. MacMillan, George R. Knight Samuel Totten, Robert D. Heslep Joseph S. Malikail, S. Pike Hall Dennis L. Carlson, Demise Twohey Thomas A. Brindley & Francis Schrag Thomas P. Thomas - 1993 - Educational Studies 24 (2):101.
    No categories
     
    Export citation  
     
    Bookmark  
  23. The Bulletin of Symbolic Logic Volume 11, Number 2, June 2005.Mirna Dzamonja, David M. Evans, Erich Gradel, Geoffrey P. Hellman, Denis Hirschfeldt, Julia Knight, Michael C. Laskowski, Roger Maddux, Volker Peckhaus & Wolfram Pohlers - 2005 - Bulletin of Symbolic Logic 11 (2).
  24.  79
    Classes of Ulm type and coding rank-homogeneous trees in other structures.E. Fokina, J. F. Knight, A. Melnikov, S. M. Quinn & C. Safranski - 2011 - Journal of Symbolic Logic 76 (3):846 - 869.
    The first main result isolates some conditions which fail for the class of graphs and hold for the class of Abelian p-groups, the class of Abelian torsion groups, and the special class of "rank-homogeneous" trees. We consider these conditions as a possible definition of what it means for a class of structures to have "Ulm type". The result says that there can be no Turing computable embedding of a class not of Ulm type into one of Ulm type. We apply (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  25.  29
    Book Review: The Pleasure of the Play. [REVIEW]Deborah Knight - 1996 - Philosophy and Literature 20 (1):272-274.
    In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:The Pleasure of the PlayDeborah KnightThe Pleasure of the Play, by Bert O. States; 226 pp. Ithaca: Cornell University Press, 1994, $34.50, cloth, $12.95, paper.I am an Aristotelian about narrative structure. This is not always a fashionable position, and in some company I know just what to expect: a pop deconstructivist dressing down by those who assume that I must have simply missed the point of poststructuralism and (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  26.  25
    Erin O'Connor. Raw Material: Producing Pathology in Victorian Culture. xi + 273 pp., illus., bibl., index.Durham, N.C./London: Duke University Press, 2000. $54.95 ; $18.95. [REVIEW]David Knight - 2002 - Isis 93 (1):137-138.
    Readers expecting a history of nineteenth‐century pathology are in for a surprise. They will find instead a self‐conscious example of cultural studies, critical of some assumptions made in this field and of some feminist writing, but containing some alarming sentences like “My goal has been to give shape to the accidental palimpsests of an inveterately verbal, and increasingly visual, culture; to assemble a particular series of hermeneutic loose ends into a coherent account of how an extraordinarily bizarre system of signification (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  27.  81
    New books. [REVIEW]H. Barker, S. S., P. Leon, J. S. Mackenzie, F. C. S. Schiller, A. C. Ewing, Rex Knight & E. S. Waterhouse - 1931 - Mind 40 (158):242-259.
    No categories
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  28. Anderson, James and Rosenfeld, Edward (eds.), Talking Nets: An Oral History of Neural Networks. Cambridge, MA: MIT Press, 1998. Bahn, Paul G., The Cambridge Illustrated History of Prehistoric Art (= Cambridge Illustrated History). New York: Cambridge University Press, 1998. Barondes, Samuel H., Mood Genes: Hunting for Origins of Mania and Depression. New York. [REVIEW]Hugh Beyer, Karen Holtzblatt, D. L. Blank, Brian P. Bloomfield, Rod Coombs, David Knights, Dale Littler, Bob Carpenter & William E. Conklin - 2000 - Semiotica 128 (1/2):195-198.
    No categories
     
    Export citation  
     
    Bookmark  
  29. Books to asl, box 742, vassar college, 124 Raymond avenue, poughkeepsie, ny 12604, usa. In a review, a reference “jsl xliii 148,” for example, refers either to the publication reviewed on page 148 of volume 43 of the journal, or to the review itself (which contains full bibliographical information for the reviewed publication). Analogously, a reference. [REVIEW]Mirna Dzamonja, David M. Evans, Erich Grädel, Geoffrey P. Hellman, Denis Hirschfeldt, Julia Knight, Michael C. Laskowski, Roger Maddux, Volker Peckhaus & Wolfram Pohlers - 2005 - Bulletin of Symbolic Logic 11 (2).
     
    Export citation  
     
    Bookmark  
  30.  51
    Vassar college, 124 Raymond avenue, poughkeepsie, ny 12604, usa. In a review, a reference “jsl xliii 148,” for example, refers either to the publication reviewed on page 148 of volume 43 of the journal, or to the review itself (which contains full bibliographical information for the reviewed publication). Analogously, a reference “bsl VII 376” refers to the review beginning on page 376 in volume 7 of this bulletin, or. [REVIEW]David M. Evans, Erich Grädel, Geoffrey P. Hellman, Denis Hirschfeldt, Thomas J. Jech, Julia Knight, Michael C. Laskowski, Volker Peckhaus, Wolfram Pohlers & Sławomir Solecki - 2005 - Bulletin of Symbolic Logic 11 (1):37.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  31.  80
    Decidability and Computability of Certain Torsion-Free Abelian Groups.Rodney G. Downey, Sergei S. Goncharov, Asher M. Kach, Julia F. Knight, Oleg V. Kudinov, Alexander G. Melnikov & Daniel Turetsky - 2010 - Notre Dame Journal of Formal Logic 51 (1):85-96.
    We study completely decomposable torsion-free abelian groups of the form $\mathcal{G}_S := \oplus_{n \in S} \mathbb{Q}_{p_n}$ for sets $S \subseteq \omega$. We show that $\mathcal{G}_S$has a decidable copy if and only if S is $\Sigma^0_2$and has a computable copy if and only if S is $\Sigma^0_3$.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  32.  70
    Meta-logical problems: Knights, knaves, and rips.P. N. Johnson-Laird & Ruth M. J. Byrne - 1990 - Cognition 36 (1):69-84.
  33. KNIGHT, A. H. J. - Some Aspects of the Life and Work of Nietzsche. [REVIEW]P. Leon - 1935 - Mind 44:92.
     
    Export citation  
     
    Bookmark  
  34.  91
    Cognitive complexity of suppositional reasoning: An application of the relational complexity metric to the Knight-knave task.Damian P. Birney & Graeme S. Halford - 2002 - Thinking and Reasoning 8 (2):109 – 134.
    An application of the Method of Analysis of Relational Complexity (MARC) to suppositional reasoning in the knight-knave task is outlined. The task requires testing suppositions derived from statements made by individuals who either always tell the truth or always lie. Relational complexity (RC) is defined as the number of unique entities that need to be processed in parallel to arrive at a solution. A selection of five ternary and five quaternary items were presented to 53 psychology students using a (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  35.  21
    Good plain cookery cytochemical staining methods for electron microscopy (1992). Edited by P. R. Lewis and D. P. Knight. Series editor, Audrey M. Glauert. 344pp. Elsevier, Amsterdam. ISBN 0‐444‐89386‐5 (hb), 0‐444‐89387‐3 (pb). $192, Dfl 336, hb: $59, Dfl 103 pb. [REVIEW]Yuhui Xu & Henry S. Slayter - 1993 - Bioessays 15 (11):772-772.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  36.  73
    (1 other version)Jon Barwise and John Schlipf. On recursively saturated models of arithmetic. Model theory and algebra, A memorial tribute to Abraham Robinson, edited by D. H. Saracino and V. B. Weispfenning, Lecture notes in mathematics, vol. 498, Springer-Verlag, Berlin, Heidelberg, and New York, 1975, pp. 42–55. - Patrick Cegielski, Kenneth McAloon, and George Wilmers. Modèles récursivement saturés de l'addition et de la multiplication des entiers naturels. Logic Colloquium '80, Papers intended for the European summer meeting of the Association for Symbolic Logic, edited by D. van Dalen, D. Lascar, and T. J. Smiley, Studies in logic and the foundations of mathematics, vol. 108, North-Holland Publishing Company, Amsterdam, New York, and London, 1982, pp. 57–68. - Julia F. Knight. Theories whose resplendent models are homogeneous. Israel journal of mathematics, vol. 42 , pp. 151–161. - Julia Knight and Mark Nadel. Expansions of models and Turing degrees. The journal of symbolic logic, vol. 47 , pp. 58. [REVIEW]J. -P. Ressayre - 1987 - Journal of Symbolic Logic 52 (1):279-284.
  37.  24
    Oral Poetry and Narratives from Central Arabia, Vol. 2: The Story of a Desert Knight: The Legend of Šlēwīḥ al-ʿAṭāwi and Other ʿUtaybah HeroesOral Poetry and Narratives from Central Arabia, Vol. 2: The Story of a Desert Knight: The Legend of Slewih al-Atawi and Other Utaybah Heroes. [REVIEW]Clive Holes & Marcel P. Kurpershoek - 1998 - Journal of the American Oriental Society 118 (1):106.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  38.  25
    Haim Gaifman. Models and types of Peano's arithmetic. Annals of mathematical logic, vol. 9, pp. 223–306. - Julia F. Knight. Omitting types in set theory and arithmetic. The journal of symbolic logic, vol. 41 , pp. 25–32. - Julia F. Knight. Hanf numbers for omitting types over particular theories. The journal of symbolic logic, vol. 41 , pp. 583–588. - Fred G. Abramson and Leo A. Harrington. Models without indiscernibles. The journal of symbolic logic, vol. 41 , vol. 43 , pp. 572–600. [REVIEW]J. P. Ressayre - 1983 - Journal of Symbolic Logic 48 (2):484-485.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  39.  16
    Holy Grail.P. K. Martyanov - 1998 - Ukrainian Religious Studies 7:160-162.
    THE HOLY GAL - and European, medieval legends - a mysterious vessel, for the sake of approaching and engaging in its good deeds, the knights performed their exploits. It was commonly believed that this is the Cup with the blood of Jesus Christ, which Joseph of Arimathea gathered, who removed from the cross the body of the crucified Christ. It was often assumed that this cup originally served Christ and the Apostles at the time of the Last Supper; was the (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  40. Thinking Through Film: Doing Philosophy, Watching Movies.Damian Cox & Michael P. Levine - 2011 - Malden, MA: Wiley-Blackwell. Edited by Michael P. Levine.
    An introduction to philosophy through film, _Thinking Through Film: Doing Philosophy, Watching Movies_ combines the exploration of fundamental philosophical issues with the experience of viewing films, and provides an engaging reading experience for undergraduate students, philosophy enthusiasts and film buffs alike. An in-depth yet accessible introduction to the philosophical issues raised by films, film spectatorship and film-making Provides 12 self-contained, close discussions of individual films from across genres Films discussed include Total Recall, Minority Report, La Promesse, Funny Games, Ikuru, The (...)
     
    Export citation  
     
    Bookmark   6 citations  
  41.  21
    P. Blackledge y K. Knight (eds.): Virtue and politics. Alasdair MacIntyre´ s Revolutionary Aristotelianism, Indiana, University of Notre Dame Press (2011). [REVIEW]Rafael Ramis Barceló - 2011 - Endoxa 28:331.
  42.  27
    Intertextual Biography in the Rivalry of Cratinus and Aristophanes.Zachary P. Biles - 2002 - American Journal of Philology 123 (2):169-204.
    In lieu of an abstract, here is a brief excerpt of the content:Intertextual Biography in the Rivalry of Cratinus and AristophanesZachary P. BilesMore than a decade ago, Malcolm Heath provided an influential explanation for charges of plagiarism between comic poets when he posited a growing store of ideas that were recycled as quickly as they were invented. As a result, "Anything put on stage in a comedy would become public property and be absorbed into the repertoire, so that all comic (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  43.  88
    Metaphysics Through Semantics: The Philosophical Recovery of the Medieval Mind.Joshua P. Hochschild (ed.) - 2023 - Springer.
    “More than any other living scholar of medieval philosophy, Gyula Klima has influenced the way we read and understand philosophical texts by showing how the questions they ask can be placed in a modern context without loss or distortion. The key to his approach is a respect for medieval authors coupled with a commitment to regarding their texts as a genuine source of insight on questions in metaphysics, theology, psychology, logic, and the philosophy of language—as opposed to assimilating what they (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  44.  44
    Metrical Patterns in Lucretius' Hexameters.V. P. Naughtin - 1952 - Classical Quarterly 2 (3-4):152-.
    I Assume that in Latin there was a stress accent which, in the time of Lucretius, was governed by the well-known ‘law of the penultimate’; also that in Latin poetry, although the metre is determined by the quantity of the syllable, nevertheless the stress accent must not be ignored. In fact, the inter-relation of the ictus of the quantitative metre with the stress accent is a most important factor in determining the rhythm of the verse. It is well known that (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  45. Commentary: Moral growth in medical students.Howard Brody, Harriet A. Squier & John P. Foglio - 1995 - Theoretical Medicine and Bioethics 16 (3).
    Knight has shown how the moral growth of medical students involves a spiritual journey. He may, however, present too sanguine a portrayal of the extent to which the medical education environment promotes this moral and spiritual growth. Medical school may indeed be more abusive than supportive. Admitting more women to medical school and teaching more humanities courses, while worthwhile, will not necessarily promote the goals that Knight appropriately advocates.
     
    Export citation  
     
    Bookmark  
  46.  31
    Civic Learning for a Democracy in Crisis.Bruce Jennings, Michael K. Gusmano, Gregory E. Kaebnick, Carolyn P. Neuhaus & Mildred Z. Solomon - 2021 - Hastings Center Report 51 (S1):2-4.
    This essay introduces a special report from The Hastings Center entitled Democracy in Crisis: Civic Learning and the Reconstruction of Common Purpose, which grew out of a project supported by the John S. and James L. Knight Foundation. This multiauthored report offers wide‐ranging assessments of increasing polarization and partisanship in American government and politics, and it proposes constructive responses to this in the provision of objective information, institutional reforms in government and the electoral system, and a reexamination of cultural (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  47.  35
    Old Persian Marika-, Eupolis Marikas And Aristophanes Knights.Albio Cesare Cassio - 1985 - Classical Quarterly 35 (01):38-.
    The little we know with certainty about Eupolis' Marikas can be summarised in a few lines. The play was produced at the Lenaea of 421 b.c. The demagogue Hyperbolus was satirised under the name of Marikas, and was represented as a man of little or no culture . Marikas/Hyperbolus was a slave. This has been denied in the past, but is now made clear by the commentary on the Marikas in P. Oxy. 2741 πρς [ν] δεσπότην Ὑπέρβολος. Aristophanes complained in (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  48. Wittgenstein's knight move : Hacker on Wittgenstein's influence on analytic philosophy.Avishai Margalit - 2009 - In Hans-Johann Glock & John Hyman, Wittgenstein and Analytic Philosophy: Essays for P. M. S. Hacker. New York: Oxford University Press.
     
    Export citation  
     
    Bookmark  
  49.  56
    The Isomorphism Problem for Computable Abelian p-Groups of Bounded Length.Wesley Calvert - 2005 - Journal of Symbolic Logic 70 (1):331 - 345.
    Theories of classification distinguish classes with some good structure theorem from those for which none is possible. Some classes (dense linear orders, for instance) are non-classifiable in general, but are classifiable when we consider only countable members. This paper explores such a notion for classes of computable structures by working out a sequence of examples. We follow recent work by Goncharov and Knight in using the degree of the isomorphism problem for a class to distinguish classifiable classes from non-classifiable. (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  50.  40
    Classifying model-theoretic properties.Chris J. Conidis - 2008 - Journal of Symbolic Logic 73 (3):885-905.
    In 2004 Csima, Hirschfeldt, Knight, and Soare [1] showed that a set A ≤T 0' is nonlow₂ if and only if A is prime bounding, i.e., for every complete atomic decidable theory T, there is a prime model M computable in A. The authors presented nine seemingly unrelated predicates of a set A, and showed that they are equivalent $\Delta _{2}^{0}$ sets. Some of these predicates, such as prime bounding, and others involving equivalence structures and abelian p-groups come from (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   3 citations  
1 — 50 / 940